Design of abstract domains using first-order logic
نویسندگان
چکیده
منابع مشابه
Abstract Diagnosis of First Order Functional Logic Programs
Diagnosis of First Order Functional
متن کاملdesign of an analog fuzzy logic controller chip
fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...
15 صفحه اولChecking Foundational Proof Certificates for First-Order Logic (Extended Abstract)
We present the design philosophy of a proof checker based on a notion of foundational proof certificates. At the heart of this design is a semantics of proof evidence that arises from recent advances in the theory of proofs for classical and intuitionistic logic. That semantics is then performed by a (higher-order) logic program: successful performance means that a formal proof of a theorem has...
متن کاملCompleteness for a First-Order Abstract Separation Logic
Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily availabe in most applications of program verification, or on concrete models for which completeness is not possible. An important element in concrete SL is the points-to predicate which denotes a sin-gleton heap. SL with the points-to predicate has been...
متن کاملTwo Variable First-Order Logic over Ordered Domains
The satissability problem for the two-variable fragment of rst-order logic is investigated over nite and innnite linearly ordered, respectively wellordered domains, as well as over nite and innnite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively wellordered, domains or in the presen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00231-x